exactCompareFactory = $exactCompareFactory; $this->exprAnalyzer = $exprAnalyzer; $this->unitializedPropertyAnalyzer = $unitializedPropertyAnalyzer; } public function getRuleDefinition() : RuleDefinition { $errorMessage = \sprintf('Fixer for PHPStan reports by strict type rule - "%s"', 'PHPStan\\Rules\\DisallowedConstructs\\DisallowedEmptyRule'); return new RuleDefinition($errorMessage, [new ConfiguredCodeSample(<<<'CODE_SAMPLE' final class SomeEmptyArray { public function run(array $items) { return empty($items); } } CODE_SAMPLE , <<<'CODE_SAMPLE' final class SomeEmptyArray { public function run(array $items) { return $items === []; } } CODE_SAMPLE , [self::TREAT_AS_NON_EMPTY => \false])]); } /** * @return array> */ public function getNodeTypes() : array { return [Empty_::class, BooleanNot::class]; } /** * @param Empty_|BooleanNot $node */ public function refactorWithScope(Node $node, Scope $scope) : ?\PhpParser\Node\Expr { if ($node instanceof BooleanNot) { return $this->refactorBooleanNot($node, $scope); } if ($node->expr instanceof ArrayDimFetch) { return null; } return $this->refactorEmpty($node, $scope, $this->treatAsNonEmpty); } private function refactorBooleanNot(BooleanNot $booleanNot, Scope $scope) : ?\PhpParser\Node\Expr { if (!$booleanNot->expr instanceof Empty_) { return null; } $empty = $booleanNot->expr; if ($empty->expr instanceof ArrayDimFetch) { return $this->createDimFetchBooleanAnd($empty->expr); } if ($this->exprAnalyzer->isNonTypedFromParam($empty->expr)) { return null; } $emptyExprType = $scope->getNativeType($empty->expr); $result = $this->exactCompareFactory->createNotIdenticalFalsyCompare($emptyExprType, $empty->expr, $this->treatAsNonEmpty); if (!$result instanceof Expr) { return null; } if ($this->unitializedPropertyAnalyzer->isUnitialized($empty->expr)) { return new BooleanAnd(new Isset_([$empty->expr]), $result); } return $result; } private function refactorEmpty(Empty_ $empty, Scope $scope, bool $treatAsNonEmpty) : ?\PhpParser\Node\Expr { if ($this->exprAnalyzer->isNonTypedFromParam($empty->expr)) { return null; } $exprType = $scope->getNativeType($empty->expr); $result = $this->exactCompareFactory->createIdenticalFalsyCompare($exprType, $empty->expr, $treatAsNonEmpty); if (!$result instanceof Expr) { return null; } if ($this->unitializedPropertyAnalyzer->isUnitialized($empty->expr)) { return new BooleanOr(new BooleanNot(new Isset_([$empty->expr])), $result); } return $result; } private function createDimFetchBooleanAnd(ArrayDimFetch $arrayDimFetch) : ?BooleanAnd { $exprType = $this->nodeTypeResolver->getNativeType($arrayDimFetch); $isset = new Isset_([$arrayDimFetch]); $compareExpr = $this->exactCompareFactory->createNotIdenticalFalsyCompare($exprType, $arrayDimFetch, \false); if (!$compareExpr instanceof Expr) { return null; } return new BooleanAnd($isset, $compareExpr); } }